8

Improved Human Islet Isolation Using a New Enzyme Blend, Liberase

Year:
1997
Language:
english
File:
PDF, 555 KB
english, 1997
28

A rewriting strategy to verify observational congruence

Year:
1990
Language:
english
File:
PDF, 797 KB
english, 1990
29

Complete sets of axioms for finite basic LOTOS behavioural equivalences

Year:
1992
Language:
english
File:
PDF, 527 KB
english, 1992
30

The stepwise activation of cytotoxic T lymphocytes

Year:
1987
Language:
english
File:
PDF, 586 KB
english, 1987
33

Deciding observational congruence of finite-state CCS expressions by rewriting

Year:
1995
Language:
english
File:
PDF, 2.01 MB
english, 1995
34

Infinite normal forms for non-linear term rewriting systems

Year:
1995
Language:
english
File:
PDF, 1.24 MB
english, 1995
37

Discrete distributions from moment generating function

Year:
2006
Language:
english
File:
PDF, 219 KB
english, 2006
38

In search of the best approximant

Year:
2007
Language:
english
File:
PDF, 220 KB
english, 2007
42

Failure-free coordinators synthesis for component-based architectures

Year:
2008
Language:
english
File:
PDF, 1.67 MB
english, 2008
44

Deadlock-free software architectures for COM/DCOM Applications

Year:
2003
Language:
english
File:
PDF, 187 KB
english, 2003
45

Performance analysis at the software architectural design level

Year:
2001
Language:
english
File:
PDF, 283 KB
english, 2001
47

Uncovering architectural mismatch in component behavior

Year:
1999
Language:
english
File:
PDF, 1.75 MB
english, 1999
48

Islet transplantation: immunological perspectives

Year:
2003
Language:
english
File:
PDF, 110 KB
english, 2003
49

Preface: Volume 39

Year:
2000
Language:
english
File:
PDF, 44 KB
english, 2000